#ifndef __DEBUG_H__
#define __DEBUG_H__

void kprintf(const char* str, ...);

#endif
